Automated Mechanism Design Using Process Algebra
نویسنده
چکیده
This paper shows how process algebra can be used to automatically generate verifiable mechanisms for multi-agent systems wherein agents need to trust the system. We make the link between games and process models and then present an iterative algorithm allowing us to generate mechanisms as computer programs implementing given systems’ requirements, which are expressed as constraints and desirable properties such as incentive compatibility. This methodology can be used to deploy for example agent mediated ecommerce systems.
منابع مشابه
ASIC design protection against reverse engineering during the fabrication process using automatic netlist obfuscation design flow
Fab-less business model in semiconductor industry has led to serious concerns about trustworthy hardware. In untrusted foundries and manufacturing companies, submitted layout may be analyzed and reverse engineered to steal the information of a design or insert malicious Trojans. Understanding the netlist topology is the ultimate goal of the reverse engineering process. In this paper, we propose...
متن کاملDESIGN OPTIMIZATION OF RC FRAMES UNDER EARTHQUAKE LOADS
This paper deals with the optimization of reinforced concrete (RC) structures under earthquake loads by introducing a simple methodology. One of the most important problems in the design of RC structures is the existing of various design scenarios that all of them satisfy design constraints. Despite of the steel structures, a large number of design candidates due to a large number of design var...
متن کاملMistake Proofing Cam Mechanism Through Six-sigma Process: Case Study on Clothes Printing Machines
Controlling the occurrence of defects is a major challenge for manufacturing organizations that are seeking to enhance their competitive position in today’s global market. This paper considers the process of screen-printing T-shirts using hydraulic and pneumatic printing machines. Several defects in the output of this printing process have been observed, especially with multi colors printing as...
متن کاملUsing a Feature Algebra for Reasoning about Geometric Feature Interactions
(AD generated objects can be defined in terms of the complete geometry of the part. In automated process planning, the geometry is the same, but the meaning associated with this geometric structure is different, and dictates a change in the description. Various solutions have been proposed to solve this incompatibility , including automated feature extraction, design by features, and human-supe...
متن کاملFixture Design Automation and Optimization Techniques: Review and Future Trends
Fixture design is crucial part of manufacturing process. Fixture design is a critical design activity process, in which automation plays an integral role in linking computer-aided design (CAD) and computer-aided manufacturing (CAD). This paper presents a literature review in computer aided fixture design (CAFD) in terms of automation and optimization techniques over the past decades. First, the...
متن کامل